(define (problem pfile09)
(:domain TPP-MetricTimePreferences)
(:objects
	market1 market2 market3 - market
	depot1 - depot
	truck1 truck2 - truck
	goods1 goods2 goods3 goods4 goods5 goods6 goods7 goods8 goods9 goods10 goods11 - goods)

(:init
	(= (price goods1 market1) 49)
	(= (ready-to-load goods1 market1) 0)
	(= (on-sale goods1 market1) 17)
	(= (ready-to-load goods1 market2) 0)
	(= (on-sale goods1 market2) 0)
	(= (price goods1 market3) 26)
	(= (ready-to-load goods1 market3) 0)
	(= (on-sale goods1 market3) 14)
	(= (ready-to-load goods1 depot1) 0)
	(= (ready-to-load goods2 market1) 0)
	(= (on-sale goods2 market1) 0)
	(= (ready-to-load goods2 market2) 0)
	(= (on-sale goods2 market2) 0)
	(= (price goods2 market3) 30)
	(= (ready-to-load goods2 market3) 0)
	(= (on-sale goods2 market3) 7)
	(= (ready-to-load goods2 depot1) 0)
	(= (price goods3 market1) 29)
	(= (ready-to-load goods3 market1) 0)
	(= (on-sale goods3 market1) 14)
	(= (price goods3 market2) 14)
	(= (ready-to-load goods3 market2) 0)
	(= (on-sale goods3 market2) 4)
	(= (price goods3 market3) 37)
	(= (ready-to-load goods3 market3) 0)
	(= (on-sale goods3 market3) 14)
	(= (ready-to-load goods3 depot1) 0)
	(= (price goods4 market1) 43)
	(= (ready-to-load goods4 market1) 0)
	(= (on-sale goods4 market1) 2)
	(= (price goods4 market2) 33)
	(= (ready-to-load goods4 market2) 0)
	(= (on-sale goods4 market2) 9)
	(= (price goods4 market3) 9)
	(= (ready-to-load goods4 market3) 0)
	(= (on-sale goods4 market3) 20)
	(= (ready-to-load goods4 depot1) 0)
	(= (price goods5 market1) 15)
	(= (ready-to-load goods5 market1) 0)
	(= (on-sale goods5 market1) 18)
	(= (price goods5 market2) 11)
	(= (ready-to-load goods5 market2) 0)
	(= (on-sale goods5 market2) 15)
	(= (price goods5 market3) 25)
	(= (ready-to-load goods5 market3) 0)
	(= (on-sale goods5 market3) 2)
	(= (ready-to-load goods5 depot1) 0)
	(= (ready-to-load goods6 market1) 0)
	(= (on-sale goods6 market1) 0)
	(= (ready-to-load goods6 market2) 0)
	(= (on-sale goods6 market2) 0)
	(= (price goods6 market3) 47)
	(= (ready-to-load goods6 market3) 0)
	(= (on-sale goods6 market3) 3)
	(= (ready-to-load goods6 depot1) 0)
	(= (price goods7 market1) 24)
	(= (ready-to-load goods7 market1) 0)
	(= (on-sale goods7 market1) 11)
	(= (price goods7 market2) 32)
	(= (ready-to-load goods7 market2) 0)
	(= (on-sale goods7 market2) 16)
	(= (price goods7 market3) 1)
	(= (ready-to-load goods7 market3) 0)
	(= (on-sale goods7 market3) 12)
	(= (ready-to-load goods7 depot1) 0)
	(= (price goods8 market1) 18)
	(= (ready-to-load goods8 market1) 0)
	(= (on-sale goods8 market1) 6)
	(= (price goods8 market2) 33)
	(= (ready-to-load goods8 market2) 0)
	(= (on-sale goods8 market2) 10)
	(= (price goods8 market3) 42)
	(= (ready-to-load goods8 market3) 0)
	(= (on-sale goods8 market3) 8)
	(= (ready-to-load goods8 depot1) 0)
	(= (price goods9 market1) 1)
	(= (ready-to-load goods9 market1) 0)
	(= (on-sale goods9 market1) 2)
	(= (price goods9 market2) 13)
	(= (ready-to-load goods9 market2) 0)
	(= (on-sale goods9 market2) 12)
	(= (price goods9 market3) 26)
	(= (ready-to-load goods9 market3) 0)
	(= (on-sale goods9 market3) 16)
	(= (ready-to-load goods9 depot1) 0)
	(= (price goods10 market1) 18)
	(= (ready-to-load goods10 market1) 0)
	(= (on-sale goods10 market1) 19)
	(= (price goods10 market2) 40)
	(= (ready-to-load goods10 market2) 0)
	(= (on-sale goods10 market2) 7)
	(= (price goods10 market3) 27)
	(= (ready-to-load goods10 market3) 0)
	(= (on-sale goods10 market3) 18)
	(= (ready-to-load goods10 depot1) 0)
	(= (price goods11 market1) 48)
	(= (ready-to-load goods11 market1) 0)
	(= (on-sale goods11 market1) 2)
	(= (ready-to-load goods11 market2) 0)
	(= (on-sale goods11 market2) 0)
	(= (price goods11 market3) 27)
	(= (ready-to-load goods11 market3) 0)
	(= (on-sale goods11 market3) 15)
	(= (ready-to-load goods11 depot1) 0)
	(connected market1 market2)
	(connected market2 market1)
	(= (drive-cost market1 market2) 838.00)
	(= (drive-cost market2 market1) 838.00)
	(= (drive-time market1 market2) 2514.00)
	(= (drive-time market2 market1) 2514.00)
	(connected market1 market3)
	(connected market3 market1)
	(= (drive-cost market1 market3) 279.00)
	(= (drive-cost market3 market1) 279.00)
	(= (drive-time market1 market3) 837.00)
	(= (drive-time market3 market1) 837.00)
	(connected market2 market3)
	(connected market3 market2)
	(= (drive-cost market2 market3) 762.00)
	(= (drive-cost market3 market2) 762.00)
	(= (drive-time market2 market3) 2286.00)
	(= (drive-time market3 market2) 2286.00)
	(connected depot1 market1)
	(connected market1 depot1)
	(= (drive-cost market1 depot1) 881.00)
	(= (drive-cost depot1 market1) 881.00)
	(= (drive-time market1 depot1) 2643.00)
	(= (drive-time depot1 market1) 2643.00)
	(connected depot1 market2)
	(connected market2 depot1)
	(= (drive-cost market2 depot1) 88.00)
	(= (drive-cost depot1 market2) 88.00)
	(= (drive-time market2 depot1) 264.00)
	(= (drive-time depot1 market2) 264.00)
	(connected depot1 market3)
	(connected market3 depot1)
	(= (drive-cost market3 depot1) 342.00)
	(= (drive-cost depot1 market3) 342.00)
	(= (drive-time market3 depot1) 1026.00)
	(= (drive-time depot1 market3) 1026.00)
	(= (loaded goods1 truck1) 0)
	(= (loaded goods2 truck1) 0)
	(= (loaded goods3 truck1) 0)
	(= (loaded goods4 truck1) 0)
	(= (loaded goods5 truck1) 0)
	(= (loaded goods6 truck1) 0)
	(= (loaded goods7 truck1) 0)
	(= (loaded goods8 truck1) 0)
	(= (loaded goods9 truck1) 0)
	(= (loaded goods10 truck1) 0)
	(= (loaded goods11 truck1) 0)
	(at truck1 depot1)
	(= (loaded goods1 truck2) 0)
	(= (loaded goods2 truck2) 0)
	(= (loaded goods3 truck2) 0)
	(= (loaded goods4 truck2) 0)
	(= (loaded goods5 truck2) 0)
	(= (loaded goods6 truck2) 0)
	(= (loaded goods7 truck2) 0)
	(= (loaded goods8 truck2) 0)
	(= (loaded goods9 truck2) 0)
	(= (loaded goods10 truck2) 0)
	(= (loaded goods11 truck2) 0)
	(at truck2 depot1)
	(= (stored goods1) 0)
	(= (stored goods2) 0)
	(= (stored goods3) 0)
	(= (stored goods4) 0)
	(= (stored goods5) 0)
	(= (stored goods6) 0)
	(= (stored goods7) 0)
	(= (stored goods8) 0)
	(= (stored goods9) 0)
	(= (stored goods10) 0)
	(= (stored goods11) 0)
	(= (total-cost) 0)
	(= (rebate-rate market1) 0.90)
	(= (rebate-rate market2) 0.83)
	(= (rebate-rate market3) 0.85)
	(= (bought goods1) 0)
	(= (bought goods2) 0)
	(= (bought goods3) 0)
	(= (bought goods4) 0)
	(= (bought goods5) 0)
	(= (bought goods6) 0)
	(= (bought goods7) 0)
	(= (bought goods8) 0)
	(= (bought goods9) 0)
	(= (bought goods10) 0)
	(= (bought goods11) 0)
	(= (request goods1) 12)
	(= (request goods2) 7)
	(= (request goods3) 3)
	(= (request goods4) 13)
	(= (request goods5) 30)
	(= (request goods6) 1)
	(= (request goods7) 32)
	(= (request goods8) 8)
	(= (request goods9) 21)
	(= (request goods10) 25)
	(= (request goods11) 14))

(:goal (and
	(>= (stored goods1) (request goods1))
	(>= (stored goods2) (request goods2))
	(>= (stored goods3) (request goods3))
	(>= (stored goods4) (request goods4))
	(>= (stored goods5) (request goods5))
	(>= (stored goods6) (request goods6))
	(>= (stored goods7) (request goods7))
	(>= (stored goods8) (request goods8))
	(>= (stored goods9) (request goods9))
	(>= (stored goods10) (request goods10))
	(>= (stored goods11) (request goods11))))

(:constraints (and
	(forall (?g - goods)
	   (preference p5A (at end (forall (?m - market ?t - truck)
				       (and (= (ready-to-load ?g ?m) 0)
					    (= (loaded ?g ?t) 0))))))

	(forall (?t - truck ?g - goods)
	   (preference p1A (at-most-once (> (loaded ?g ?t) 0))))

	(forall (?m - market ?t - truck)
	   (preference p2A (at-most-once (at ?t ?m))))

	(forall (?m - market ?t1 ?t2 - truck)
	   (preference p1B (always (imply (and (at ?t1 ?m) (at ?t2 ?m))
					  (= ?t1 ?t2)))))

	(preference p0A (always (>= (stored goods5) (stored goods10))))
	(preference p0B (always (>= (stored goods9) (stored goods1))))

	(forall (?t - truck)
	   (preference p4A (always-within 2901.00 (> (loaded goods9 ?t) 0)
			      (= (loaded goods9 ?t) 0))))

	(forall (?t - truck)
	   (preference p4B (always-within 2901.00 (> (loaded goods1 ?t) 0)
			      (= (loaded goods1 ?t) 0))))

	(forall (?t - truck)
	   (preference p4C (always-within 522.00 (> (loaded goods3 ?t) 0)
			      (= (loaded goods3 ?t) 0))))

	(forall (?t - truck)
	   (preference p4D (always-within 1284.00 (> (loaded goods11 ?t) 0)
			      (= (loaded goods11 ?t) 0))))

	(forall (?t - truck)
	   (preference p3A (sometime (exists (?g - goods) (> (loaded ?g ?t) 0)))))

	(preference p0C (sometime-before (> (stored goods2) 0)
			   (>= (stored goods7) (request goods7))))
	(preference p0D (sometime-before (> (stored goods8) 0)
			   (>= (stored goods11) (request goods11))))

	(preference p0E (sometime-before (> (stored goods3) 0)
			   (>= (bought goods4) (request goods4))))))

(:metric minimize (+ (* 1 (is-violated p0A))
		     (* 1 (is-violated p0B))
		     (* 1 (is-violated p0C))
		     (* 1 (is-violated p0D))
		     (* 1 (is-violated p0E))
		     (* 2 (is-violated p1A))
		     (* 2 (is-violated p1B))
		     (* 3 (is-violated p2A))
		     (* 4 (is-violated p3A))
		     (* 5 (is-violated p4A))
		     (* 5 (is-violated p4B))
		     (* 5 (is-violated p4C))
		     (* 5 (is-violated p4D))
		     (* 6 (is-violated p5A))
		     (* 1 (is-violated p-drive))))
)